$\exists$$e$=rcv($l$,${\it tg}$). $P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. (kind($e$) = rcv($l$,${\it tg}$) \& $P$($e$))